الكتب الالكترونية

عدد الكتب: 1 - 5 /5
978-3-540-32008-1
Operational Semantics for Timed Systems

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...

اقرأ المزيد
978-3-030-17184-1
Programming Languages and Systems

It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and ...

اقرأ المزيد
978-3-540-89330-1
Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. ...

اقرأ المزيد
978-1-84628-692-6
Semantics with Applications: An Appetizer

Semantics will have an important role to play in the future development of software systems and domain specific languages, ...

اقرأ المزيد
978-3-030-59257-8
Understanding Programming Languages

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

اقرأ المزيد
عدد الكتب: 1 - 5 /5